S. Tucker Taft
S. Tucker Taft (4 marzo 1953) è un informatico statunitense.
Studioso di linguaggi di programmazione ad alta integrità, Taft ha contribuito allo sviluppo del linguaggio Ada come responsabile della progettazione degli standard Ada 1995, Ada 2005 e Ada 2012.
Biografia
[modifica | modifica wikitesto]Taft ha studiato chimica ad Harvard, dove nel 1975 ha conseguito il bachelor con il massimo dei voti e la lode, continuando a lavorare per quattro anni alla rete informatica Unix dell'ateneo. Dopo un anno di lavoro da libero professionista come consulente, è stato assunto alla Intermetrics nel 1980. Presso l'azienda ha lavorato allo sviluppo di sistemi in Ada per la United States Air Force e di compilatori commerciali. Il 27 luglio 1982 ha sposato Phyllis Robin Yale.[1] Tra il 1990 e il 1995 ha diretto il team responsabile dello sviluppo dello standard Ada 9X, che ha aggiunto al linguaggio il supporto nativo per la programmazione orientata agli oggetti, e che è stato standardizzato dall'ISO nel febbraio 1995 come Ada 95.[2] Taft ha lavorato poi ai successivi aggiornamenti dello standard, come membro del ISO Rapporteur Group, dirigendo la progettazione di Ada 2005 e Ada 2012. Oltre al lavoro su Ada, Taft ha lavorato anche all'implementazione di ParaSail, un linguaggio di programmazione parallela.[3]
Taft è stato Chief Technical Officer e presidente del Board of Directors della SofCheck, azienda che commercializzava soluzioni software e compilatori Ada e SPARK. SoftCheck è stata poi acquisita da AdaCore nel 2012, e Taft è entrato a far parte dell'Executive Team dell'azienda come direttore della ricerca sui linguaggi.[4]
Note
[modifica | modifica wikitesto]- ^ Phyllis Yale Engaged to S. Tucker Taft, in New York Times, 2 maggio 1982 (archiviato il 2 settembre 2015).
- ^ Tucker Taft, su adahome.com (archiviato il 2 settembre 2015).
- ^ Executive Team, su adacore.com, AdaCore. URL consultato il 4 maggio 2019 (archiviato dall'url originale il 2 settembre 2015).
- ^ Adacore acquires Softcheck, su embeddednews.co.uk (archiviato dall'url originale il 2 settembre 2015).
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Pubblicazioni di S. Tucker Taft, su dblp.uni-trier.de (archiviato il 2 settembre 2015).
Controllo di autorità | VIAF (EN) 7821446 · ISNI (EN) 0000 0001 1592 0588 · LCCN (EN) n97055186 · J9U (EN, HE) 987007449580605171 |
---|